$\vdash$  SQType(Atom)